var $ = function(id) {
    return document.getElementById(id);
};
var $F = function(id) {
    return document.getElementById(id).value;
};
function makevisible(cur, which)
{
    if (which == 0)
        cur.filters.alpha.opacity = 100
    else
        cur.filters.alpha.opacity = 40
}

function winResize() {
    $("body_inner").style.height = document.body.offsetHeight - 30;
}